cmake_minimum_required(VERSION 3.22)
project(CL4AF)

set(CMAKE_CXX_STANDARD 20)

add_library(lib
        Clause.cpp
        Solver.cpp
        Heap.cpp
        log.h
        Bitset.cpp
        Bitset.h
)
add_executable(main main.cpp)

target_compile_options(lib PRIVATE -O3)
target_compile_options(main PRIVATE -O3)
add_definitions(-DNDEBUG)

# 链接库
target_link_libraries(main lib)

